fifoReceiver\{i:l\}(${\it es}$; ${\it ff}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{fifoReceiver{-}exists:ObjectId, 1:l, i:l\}(${\it es}$,${\it ff}$)).1